An Upward Measure Separation Theorem
نویسنده
چکیده
It is shown that almost every language in ESPACE is very hard to approximate with circuits It follows that P BPP implies that E is a measure subset of ESPACE
منابع مشابه
Upward separations and weaker hypotheses in resource-bounded measure
We consider resource-bounded measure in double-exponential-time complexity classes. In contrast to complexity class separation translating downwards, we show that measure separation translates upwards. For example, μp(NP) 6= 0⇒ μe(NE) 6= 0⇒ μexp(NEXP) 6= 0. We also show that if NE does not have e-measure 0, then the NP-machine hypothesis holds. We give oracles relative to which the converses of...
متن کاملAn extension theorem for finite positive measures on surfaces of finite dimensional unit balls in Hilbert spaces
A consistency criteria is given for a certain class of finite positive measures on the surfaces of the finite dimensional unit balls in a real separable Hilbert space. It is proved, through a Kolmogorov type existence theorem, that the class induces a unique positive measure on the surface of the unit ball in the Hilbert space. As an application, this will naturally accomplish the work of Kante...
متن کاملSome generalizations of Darbo's theorem for solving a systems of functional-integral equations via measure of noncompactness
In this paper, using the concept of measure of noncompactness, which is a very useful and powerful tools in nonlinear functional analysis, metric fixed point theory and integral equations, we introduce a new contraction on a Banach space. For this purpose by using of a measure of noncompactness on a finite product space, we obtain some generalizations of Darbo’s fixed-point theorem. Then, with ...
متن کاملUpward Separation for FewP and Related Classes
This paper studies the range of application of the upward separation technique that has been introduced by Hartmanis to relate certain structural properties of polynomial-time complexity classes to their exponential-time analogs and was rst applied to NP [Har83]. Later work revealed the limitations of the technique and identi ed classes defying upward separation. In particular, it is known that...
متن کاملEgoroff Theorem for Operator-Valued Measures in Locally Convex Cones
In this paper, we define the almost uniform convergence and the almost everywhere convergence for cone-valued functions with respect to an operator valued measure. We prove the Egoroff theorem for Pvalued functions and operator valued measure θ : R → L(P, Q), where R is a σ-ring of subsets of X≠ ∅, (P, V) is a quasi-full locally convex cone and (Q, W) is a locally ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 81 شماره
صفحات -
تاریخ انتشار 1991